DF with symmetry - needs sign extension for symmetry adders
Single-rate examples
Optimization examples
Verify that functions are independent of CWD.

